zdaniowa

Encyklopedia PWN

log. system dedukcyjny przedstawiony w postaci zbioru formuł zdaniowych
Tarski Alfred, pierwotnie A. Tajtelbaum, ur. 14 I 1901, Warszawa, zm. 27 X 1983, Berkeley (stan Kalifornia),
polski logik, matematyk i filozof; uważany za jednego z największych logików w dziejach nauki.
mowa zorganizowana brzmieniowo
zdań rachunek, logika zdań,
log. jeden z podstawowych działów logiki formalnej, formułujący i kodyfikujący prawa logiki
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia